Reasoning with Sets and Sums of Sets
نویسنده
چکیده
In this paper we introduce a decision procedure for the combined theory of sets, arithmetic and sums of sets, that can be used as abstraction for problems in verification. This theory and the developed decision procedures is also the first step in our path to develop decision procedures for more theories that can be used as abstraction in more situations, for example with the additional bridging functions min, max or measures.
منابع مشابه
Uniquely Remotal Sets in $c_0$-sums and $ell^infty$-sums of Fuzzy Normed Spaces
Let $(X, N)$ be a fuzzy normed space and $A$ be a fuzzy boundedsubset of $X$. We define fuzzy $ell^infty$-sums and fuzzy $c_0$-sums offuzzy normed spaces. Then we will show that in these spaces, all fuzzyuniquely remotal sets are singletons.
متن کاملPROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS
Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...
متن کاملA fuzzy reasoning method based on compensating operation and its application to fuzzy systems
In this paper, we present a new fuzzy reasoning method based on the compensating fuzzy reasoning (CFR). Its basicidea is to obtain a new fuzzy reasoning result by moving and deforming the consequent fuzzy set on the basis of themoving, deformation, and moving-deformation operations between the antecedent fuzzy set and observation information.Experimental results on real-world data sets show tha...
متن کاملUncertainty analysis of hierarchical granular structures for multi-granulation typical hesitant fuzzy approximation space
Hierarchical structures and uncertainty measures are two main aspects in granular computing, approximate reasoning and cognitive process. Typical hesitant fuzzy sets, as a prime extension of fuzzy sets, are more flexible to reflect the hesitance and ambiguity in knowledge representation and decision making. In this paper, we mainly investigate the hierarchical structures and uncertainty measure...
متن کاملTHE DIRECT AND THE INVERSE LIMIT OF HYPERSTRUCTURES ASSOCIATED WITH FUZZY SETS OF TYPE 2
In this paper we study two important concepts, i.e. the direct andthe inverse limit of hyperstructures associated with fuzzy sets of type 2, andshow that the direct and the inverse limit of hyperstructures associated withfuzzy sets of type 2 are also hyperstructures associated with fuzzy sets of type 2.
متن کامل